Liquidate your assets: reasoning about resource usage in liquid Haskell
نویسندگان
چکیده
منابع مشابه
Resource-bounded Reasoning about Knowledge
Die Annahme der Dissertation haben empfohlen: Acknowledgments First of all, I wish to thank my supervisor Heinrich Herre for his excellent guidance throughout my studies at the University of Leipzig. I am very much indebted to Peter Steinacker who introduced me to logic and who has always supported and encouraged me during the past several years. Parts of this thesis were done at the Australian...
متن کاملReasoning about Resource-Bounded Knowledge
EXISTING approaches for analyzing security protocols, while quite successful, are limited in a number of ways. One limitation is that they often do not supply a specification language. Another limitation is that the model of the adversary is quite restricted, unable to capture protocol-specific knowledge or to support guessing. Informal specifications of security in the literature are typically...
متن کاملReasoning about Resource-Sensitive Multi-Agents
Aims. Formalizing common knowledge reasoning in multi-agent systems is of growing importance in Computer Science, Artificial Intelligence, Economics, Philosophy and Psychology. Obtaining a concrete logical foundation for common knowledge reasoning plays an important role for formal treatment and verification ofmulti-agent systems. For this reason, formalizing common knowledge reasoning is also ...
متن کاملReasoning about Explicit Resource Management∗ (Abstract)
We investigate the behaviour and efficiency of concurrent processes with explicit resource management. Our study is based on a π-calculus variant called Rπ [4] where the only resources available are channels, which must be explicitly allocated before they can be used and can be deallocated when no longer required. A substructural type system guarantees the safe allocation and deallocation of ch...
متن کاملResource Limits for Haskell
We describe the first iteration of a resource limits system for Haskell, taking advantage of the key observation that resource limits share semantics and implementation strategy with profiling. We pay special attention to the problem of limiting resident memory usage: we describe a simple implementation technique for carrying out incremental heap censuses and describe a novel informationflow co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3371092